home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Aminet 30
/
Aminet 30 (1999)(Schatztruhe)[!][Apr 1999].iso
/
Aminet
/
dev
/
lang
/
SmallEiffel.lha
/
SmallEiffel
/
lib_se
/
infix_name.e
< prev
next >
Wrap
Text File
|
1998-12-22
|
2KB
|
96 lines
-- This file is part of SmallEiffel The GNU Eiffel Compiler.
-- Copyright (C) 1994-98 LORIA - UHP - CRIN - INRIA - FRANCE
-- Dominique COLNET and Suzanne COLLIN - colnet@loria.fr
-- http://www.loria.fr/SmallEiffel
-- SmallEiffel is free software; you can redistribute it and/or modify it
-- under the terms of the GNU General Public License as published by the Free
-- Software Foundation; either version 2, or (at your option) any later
-- version. SmallEiffel is distributed in the hope that it will be useful,but
-- WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
-- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
-- for more details. You should have received a copy of the GNU General
-- Public License along with SmallEiffel; see the file COPYING. If not,
-- write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
-- Boston, MA 02111-1307, USA.
--
class INFIX_NAME
--
-- To store an infix name of operator.
--
inherit FEATURE_NAME;
creation make
feature
to_string: STRING;
start_position: POSITION;
to_key: STRING;
feature
is_frozen: BOOLEAN is false;
feature {NONE}
make(n: STRING; sp: like start_position) is
require
n.count >= 1;
sp /= Void
do
to_string := unique_string.item(n);
start_position := sp;
to_key := unique_string.for_infix(to_string);
ensure
to_string = unique_string.item(n);
start_position = sp;
to_key = unique_string.item(to_key)
end;
feature
declaration_in(str: STRING) is
do
str.append(fz_infix);
str.extend(' ');
str.extend('%"');
str.append(to_string);
str.extend('%"');
end;
pretty_print is
do
fmt.put_string(to_string);
end;
declaration_pretty_print is
do
fmt.keyword(fz_infix);
fmt.put_character('%"');
fmt.put_string(to_string);
fmt.put_character('%"');
end;
feature
short is
do
short_print.a_infix_name("Bifn","infix %"",
"Aifn","%"",
Current);
end;
feature {RUN_FEATURE,FEATURE_NAME}
put_cpp_tag is
do
cpp.put_string(fz_infix);
cpp.put_character(' ');
end;
end -- INFIX_NAME